verifier相关论文
日前,MathWorks宣布推出HDL Coder,它支持从MATLAB代码自动生成HDL代码,允许工程师用MATLAB语言实现FPGA和ASIC设计。同时发布的还......
To tackle with the security lack in the password-authenticated key exchange protocol, this paper proposes a two-party pa......
代理签名在数字化信息社会中有着广泛的应用．基于自认证公钥系统，提出了一个新的基于自认证公钥的代理签名方案．该方案不仅可以实现代......
针对两方口令认证密钥交换协议的各类安全性攻击，提出了一个基于验证值的两方口令认证密钥交换协议，并对协议的安全性进行了证明。在......
手写数字识别是手写字符识别的一个重要分支,单个数字识别技术已经比较成熟,而手写数字串的切分与识别则成为了该领域的一个难点。......
计量检定工作具有较强的政策性、法制性和极强的技术性，对计量检定人员的职业素质和水平要求较高。我国计量检定员管理已实行职业资......
在分析SRP协议的基础上,提出一种基于智能卡的改进方案,该方案利用智能卡提供的安全存储环境和独立的安全计算环境,不仅能有效抵抗......
针对基于口令认证机制的密钥交换协议容易遭受口令猜测和服务器假冒等多种攻击的缺点,提出了基于验证值认证机制的新的三方密钥交......
计量检定员素质高低直接决定着铁路企业的计量水平,因此提升基层站段计量检定员素质就成为铁路计量工作的头等大事。文章从加强计......
ADEVerifier是CadenceNewADE家庭成员中的重要一员,它主要用于项目管理和验证。Verifier主要功能;①可以在IC设计项目中统一管理仿......
